Философский энциклопедический словарь - конструктивный (генетический) метод
Связанные словари
Конструктивный (генетический) метод
конструктивный (генетический) метод
— один из способов дедуктивного построения научных теорий (Дедуктивный метод). Идея К. м. возникла в начале 20 в. и была разработана (в работах Гильберта, Л. Я. Брауэра, А. Рейтинга, А. Н. Колмогорова, А. А. Маркова, П. Лоренцена и др.) как попытка преодоления трудностей аксиоматического обоснования математики и логики (в целях ликвидации парадоксов теории множеств и т. д.). В отличие от аксиоматического метода при конструктивном построении теории не только пытаются свести до минимума исходные, недоказуемые в рамках этой теории, утверждения и неопределяемые термины, но и специально заботятся об их содержательном обосновании. Осн. задача, к-рую должен выполнить К. м., состоит в последовательном конструировании (реально осуществляемом или возможном на основании имеющихся средств) рассматриваемых в формальной системе объектов и утверждений о них. Задание исходных объектов теории и построение новых осуществляется с помощью совокупности специальных операциональных (конструктивных) правил и определений. Все остальные утверждения системы получаются из исходного базиса теории с помощью специфической для конструктивных теорий техники вывода и т. наз. рекурсивных определений, основанных на принципе математической индукции. В настоящее время К. м. находит широкое применение лишь в области формальных наук — в математике и логике (Конструктивная логика). Нет, однако, оснований отвергать возможность приложения этого метода к построению и естественнонаучного знания.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2503 | |
2 | 2321 | |
3 | 1989 | |
4 | 1976 | |
5 | 1921 | |
6 | 1828 | |
7 | 1723 | |
8 | 1659 | |
9 | 1640 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1379 | |
14 | 1379 | |
15 | 1250 | |
16 | 1072 | |
17 | 1062 | |
18 | 1059 | |
19 | 1035 | |
20 | 962 |